| Name | Version | Summary | date |
| paraconsistent |
0.2.1 |
Blocos de lógica paraconsistente com API simples. |
2025-10-28 14:27:45 |
| agix |
1.8.0 |
Experimental AGI framework with neuro-symbolic reasoning, evolutionary agents and plastic learning |
2025-10-28 07:31:22 |
| arc-atlas |
0.1.8 |
Teacher/Student orchestration toolkit for Bring-Your-Own-Agent workflows. |
2025-10-24 01:08:38 |
| agno |
2.2.1 |
Agno: a lightweight library for building Multi-Agent Systems |
2025-10-23 20:43:49 |
| ultragpt |
4.4.1 |
UltraGPT: A modular multi-provider AI library for advanced reasoning and step pipelines with OpenAI and Claude support |
2025-10-22 13:22:19 |
| mieltocore |
0.0.10 |
Mielto: a lightweight library for context aware AI applications |
2025-10-22 04:07:13 |
| cogency |
3.2.0 |
Streaming agents |
2025-10-22 01:18:01 |
| neo-reasoner |
0.8.0 |
A self-improving code reasoning engine with persistent semantic memory |
2025-10-21 17:33:52 |
| proofofthought |
1.0.1 |
LLM-based reasoning using Z3 theorem proving |
2025-10-18 00:31:47 |
| tiny-recursive-model |
0.0.9 |
Tiny Recursive Model |
2025-10-11 23:48:01 |
| entity-query-language |
3.1.1 |
Provides a relational query language that is pythonic and intuitive. Entity Query Language serves as a front end to other query languages like sql or prolog |
2025-10-06 09:11:28 |
| reasoning-library |
0.1.0 |
A Python library for formal reasoning methods with LLM integration |
2025-09-15 17:33:39 |
| vllm-semantic-router-bench |
1.0.0 |
Comprehensive benchmark suite for semantic router vs direct vLLM evaluation across multiple reasoning datasets |
2025-09-12 21:10:15 |
| chain-of-thought-tool |
0.1.0 |
A lightweight Chain of Thought reasoning tool for LLM function calling |
2025-09-03 02:48:08 |
| ripple-down-rules |
0.7.0 |
Implements the various versions of Ripple Down Rules (RDR) for knowledge representation and reasoning. |
2025-09-02 12:33:17 |
| isage-middleware |
0.1.3.1 |
SAGE Middleware - Streaming-Augmented Generative Execution |
2025-09-02 05:45:27 |
| isage-kernel |
0.1.3.1 |
SAGE Kernel Module - Streaming-Augmented Generative Execution |
2025-09-02 05:44:35 |
| reasoning-kernel |
0.0.6 |
Model Synthesis Architecture (MSA) reasoning engine built on ReasoningFleet's FastAPI/Semantic Kernel foundation with NumPyro probabilistic programming |
2025-09-02 04:23:57 |
| satquest |
0.1.2 |
A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs |
2025-08-30 19:51:50 |
| logic-lm-mcp-server |
1.0.1 |
A Model Context Protocol server that provides symbolic reasoning capabilities using Logic-LM framework and Answer Set Programming |
2025-08-28 21:36:54 |